invariant function

不变函数